with a downcast expression